extern void printf1();
